The logic of tied implications, part 2: Syntax

نویسندگان

  • Nehad N. Morsi
  • Wafik Boulos Lotfallah
  • Moataz Saleh El-Zekey
چکیده

An implication operator A is said to be tied if there is a binary operation T that ties A; that is, the identity A(a,A(b, z)) = A(T (a, b), z) holds for all a, b, z. We aim at the construction of a complete predicate logic for prelinear tied adjointness algebras. We realize this in three steps. In the first step, we establish a propositional calculus AdjTPC, complete for the class of all tied adjointness algebras on partially ordered sets; without prelinearity and ignoring the lattice operations. For that we supply a Hilbert system based on seven axioms and one deduction rule (modus ponens). In the second and third steps, we extend AdjTPC to propositional and predicate calculi; complete for prelinear tied adjointness algebras. We apply a duality principle, due to Morsi, in all three calculi; through which we manage to cut down the number of proofs. © 2006 Elsevier B.V. All rights reserved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Social Logic of Cities and Urban Tourism Accessibility; Space Syntax Analysis of Kuala Lumpur City Centre

Tourism is a progressively major part of economies of urban areas. Urban regeneration as a subcategory of urban tourism has been the center of many urban projects. This study addresses the role of space syntax theory as an analytical tool and design aided tool in urban regeneration. For this purpose, we examined the development of a square in the Kuala Lumpur City Center (KLCC) using space synt...

متن کامل

Beyond first order logic: From number of structures to structure of numbers: Part II

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...

متن کامل

Beyond First Order Logic: From number of structures to structure of numbers: Part I

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...

متن کامل

Corrigendum to "The logic of tied implications, part 2: Syntax" [Fuzzy Sets and Systems 157(2006)2030-2057]

This derivation of (2) is not valid, because this duality applies to inferences and theorems only, not to definitions. In fact, (1) should be treated as an axiom. Accordingly, the duality of Lemma 3.3.1 would not be valid until the dual (2) of (1) is proved independently, as we do below. Our new proof will make use of Proposition 3.3.3, the original proof of which is based on duality. So, we mu...

متن کامل

The logic of tied implications, part 1: Properties, applications and representation

A conjunction T ties an implication operator A if the identity A(a,A(b, z)) = A(T (a, b), z) holds [A.A. Abdel-Hamid, N.N. Morsi, Associatively tied implications, Fuzzy Sets and Systems 136 (2003) 291–311]. We study the class of tied adjointness algebras (which are five-connective algebras on two partially ordered sets), in which the implications are tied by triangular norms. This class contain...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fuzzy Sets and Systems

دوره 157  شماره 

صفحات  -

تاریخ انتشار 2006